#include <stdio.h>
#include <math.h>

// int main()
// {
//     double km, ans = 0.0;
//     int  time;
//     scanf("%lf%d", &km, &time);

//     if (km<3) {
//         ans = 10;
//     }else if (km<10) {
//         ans = 10 + (km - 3) * 2;
//     }else {
//         ans = 10 + 7 * 2 + (km - 10) * 3;
//     }

//     ans += time / 5 * 2 ;

//     printf("%d", round(ans));

//     return 0;
// }

int main()
{
    double distance;
    int time;
    scanf("%lf %d", &distance, &time);

    double ans = 10.0; // 起步费

    if (distance > 3.0) {
        if (distance <= 10.0) {
            ans += (distance - 3.0) * 2.0; // 3km 以上 10km 以内部分
        } else {
            ans += 7.0 * 2.0 + (distance - 10.0) * 3.0; // 3~10km 和 10km 以上部分
        }
    }

    // 计算等待费用
    ans += (time / 5) * 2;

    // 四舍五入并输出
    printf("%d\n", (int)round(ans));

    return 0;
}
